First-order logic

Results: 1172



#Item
11

arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University

Add to Reading List

Source URL: www.andrew.cmu.edu

- Date: 2018-02-12 22:13:01
    12

    Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

    Add to Reading List

    Source URL: www.ki.inf.tu-dresden.de

    - Date: 2006-03-26 15:53:31
      13

      Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2013-05-22 10:58:51
        14

        Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric First-Order Logic

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-04-21 07:47:33
          15

          Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:

          Add to Reading List

          Source URL: orbit.dtu.dk

          - Date: 2016-09-29 07:15:35
            16

            Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

            Add to Reading List

            Source URL: web.cecs.pdx.edu

            - Date: 2014-01-24 04:02:53
              17

              Intuitionistic Completeness of First-Order Logic Robert Constable and Mark Bickford October 7, 2011 Abstract We establish completeness for intuitionistic first-order logic, iFOL, showing that is a formula

              Add to Reading List

              Source URL: www.nuprl.org

              - Date: 2011-10-08 01:03:35
                18

                Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ยด INRIA and LIX, Ecole

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2013-05-22 23:44:30
                  19

                  CS Computer Science and Information Technology Section1: Engineering Mathematics Discrete Mathematics: Propositional and first order logic. Sets, relations, functions, partial

                  Add to Reading List

                  Source URL: www.gate.iisc.ernet.in

                  - Date: 2015-09-02 10:23:17
                    20

                    On Structuring Proof Search for First Order Linear Logic

                    Add to Reading List

                    Source URL: www.ki.inf.tu-dresden.de

                    - Date: 2006-03-26 13:44:51
                      UPDATE